Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 1 of 1 for:
formal methods
1
meta-programming
1 ?
 21,213,375 websites (safe search)

  1. Axiomatic Language Home Page

    A minimal, pure specification logic programming language with meta-language capability.
    LISP1
    Prolog1
    functional programming1
    formal methods1
    logic programming1
    meta-language1
    meta-programming1
    software specification1
    axiomatic language0
    higher-order logic0
    HiLog0

    www.axiomaticlanguage.org - 2009-02-07

quality assurance2 computer security2 aspect-oriented programming1 quality4 generative programming1 internet security2 computer5 intentional programming1 hazard analysis1 software7 project management3 hyperj1 software verification1 aop1 network security2 software testing1 consulting5 design patterns1

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.